This volume contains the proceedings ofthe international workshop WS-FM(Web Services and Formal Methods) held at Vienna University ...
Lire la suiteThis book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...
Lire la suiteWorkflows for e-Science presents an overview of the current state of the art in the field. It brings together research from ...
Lire la suite